161. Erlang'05 : proceedings of the ACM SIGPLAN 2005 Erlang Workshop, September 25, 2005, Tallinn, Estonia
Author: sponsored by the Association for Computing Machinery Special Interest Group on Programming Languages )SIGPLAN(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، ERLANG )Computer program language(,Congresses ، Programming languages )Electronic computers(,Congresses ، Computer software
Classification :
QA
76
.
73
.
E75A26
2005
162. Euro-Par 2011
Author: Michael Alexander ... [et al.] (eds.)
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Parallel processing (Electronic computers), Congresses,Parallel programming (Computer science), Congresses
Classification :
QA76
.
58
.
I553
2011eb
163. Euro-Par 2015
Author: \ [Edited by] Sascha Hunold...[et.al]
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Parallel processing (Electronic computers) -- Congresses.,Parallel programming (Computer science) -- Congresses.,Electronic data processing -- Distributed processing -- Congresses.,پردازش موازی -- کنگره ها ,برنامهنویسی موازی -- کنگره ها ,دادهپردازی -- پردازش توزبع شده -- کنگره ها
Classification :
QA
76
.
58
.
E92
2015
E-Book
,
164. Euro-Par 2015
Author: \ esper Larsson Träff, Sascha Hunold, Francesco Versaci (eds.)
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Parallel processing (Electronic computers) -- Congresses,Parallel programming (Computer science) -- Congresses,Electronic data processing -- Distributed processing -- Congresses,پردازش موازی -- کنگره ها,برنامهنویسی موازی -- کنگره ها,دادهپردازی -- پردازش توزبع شده -- کنگره ها
Classification :
QA
76
.
58
.
I58
E92
2015
E-Book
,
165. Euro-Par 2018 :
Author: edited by Gabriele Mencagli, Dora B. Heras et al. (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Parallel processing (Electronic computers), Congresses.,Parallel processing (Electronic computers)
Classification :
QA76
.
58
.
I58
2018eb
166. Exploring the early digital /
Author: Thomas Haigh, editor.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer systems-- History, Congresses.,Computers, Congresses.,Computer systems.,COMPUTERS-- Computer Literacy.,COMPUTERS-- Computer Science.,COMPUTERS-- Data Processing.,COMPUTERS-- Hardware-- General.,COMPUTERS-- Information Technology.,COMPUTERS-- Machine Theory.,COMPUTERS-- Reference.,Computers.
Classification :
QA75
.
5
.
E96
2019
167. Fachtagung Prozessrechner 1974, Karlsruhe, 10-11. Juni 1974
Author:
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Process control-- Data processing-- Congresses,، Electronic digital computers-- Programming-- Congresses
Classification :
TS
156
.
8
.
F32
1974
168. Fachtagung prozessrechner 1974, Karlsruhe, 10-11. Juni 1974
Author: / Von Gerhard Kruger und Rudiger Friehmelt
Library: Library of College of Science University of Tehran (Tehran)
Subject: Process control -- Data processing -- Congresses,Electronic digital computers -- Programming -- Congresses
Classification :
TS
156
.
8
.
F35
169. 3. Fachtagung uber Programmiersprachen, Kiel, 5.-7. Marz 1974
Author: hrsg. von Bodo Schlender und Wolfgang Frielinghaus
Library: Central Library and Documentation Center (Kerman)
Subject: Congresses ، Programming languages )Electronic computers(
Classification :
QA
76
.
L4
v
.
7
170. Formal Development of Programs and Proofs
Author: Edited By Edsger W. Dijkstra
Library: Central Library and Information Center of Shahed University (Tehran)
Subject: Electronic Dijital Computers- Programming- Congresses
Classification :
QA
،
76
.
6
،.
F657
،
1990
171. Formal description technique
Author: / edited by K.R. Parker, G.A. Rose
Library: Tehran University, technical faculty libraries 1 (Tehran)
Subject: Electronic digital computers -- Programming -- Congresses,Formal languages -- Congresses
Classification :
QA
76
.
6
.
I185
1992
172. Formal description techniques, II
Author: / Edited by Son T. Vuong
Library: Central Library and Documents Center of Tehran University (Tehran)
Subject: Electronic digital computers -- Programming -- Congresses,Formal languages-- Congresses
Classification :
QA
76
.
6
.
I1778
1989
173. Formal description techniques III
Author: / Edited by Juan Quemada, Jose Manas, Enrique Vazquez
Library: Central Library and Documents Center of Tehran University (Tehran)
Subject: Electronic digital computers -- Programming -- Congresses,Formal languages-- Congresses
Classification :
QA
76
.
6
.
I185
1990
174. Formal development of programs and proofs
Author: edited by Edsger W. Dijkstra
Library: Library of Niroo Research Institue (Tehran)
Subject: ، Electronic digital computers- Programming- Congresses
Classification :
QA
76
.
6
.
F657
1990
175. Formal language description languages for computer programming
Author:
Library: Central Library of Esfehan University of Technology (Esfahan)
Subject: Programming languages (Electronic computers) -- Congresses
Classification :
76
.
I17
176. Formal language description languages for computer programming; proceedings
Author: / Edited by T.B. Steel, Jr
Library: Library of College of Science University of Tehran (Tehran)
Subject: Programming languages (Electronic computers) -- Congresses
Classification :
QA
76
.
I17
1964
177. Formal language description languages for computer programming; proceedings
Author: IFIP Working Conference on Formal Language Description Languages, )4691, Vienna, Austria(
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Programming languages )Electronic computers(-- Congresses
Classification :
QA
76
.
I17
1964
178. Formal languages and programming
Author:
Library: Central Library of Esfehan University of Technology (Esfahan)
Subject: Formal languages -- Congresses►Programming (Electronic computers) -- Congresses►Interactive computer systems -- Congresses
Classification :
267
.
3
.
F67
179. Formal semantics of Programming languages
Author: Courant Computer Science Symposium, 2d, New York, 0791
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Programming languages )Electronic computers(-- Semantics-- Congresses
Classification :
QA
76
.
7
.
C68
1970
180. Formalization of programming concepts : international colloquium, Peniscola, Spain, April 19-25, 1981 : proceedings
Author:
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Electronic digital computers-- Programming-- Congresses
Classification :
QA
76
.
6
.
F66
